Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
81	The University of Birmingham School of Computer Science Operational Domain Theory and Topology of Sequential Functional Languages Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-08-28 06:12:06 Mathematics Applied mathematics Denotational semantics Order theory Operational semantics Domain theory Semantics of programming languages Topology Completeness Theoretical computer science Logic in computer science Programming language semantics
82	Operational domain theory and topology of sequential programming languages Mart´ın Escard´o Weng Kin Ho Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-12-11 05:21:07 Metalogic Denotational semantics Structure Continuous function Sheaf Lambda calculus Orbifold Surreal number Mathematics Models of computation Model theory
83	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
84	www.computing.me.uk Fortran 77 : 4. Relational and Logic Operators Relational operators in logical statements are used control the flow of code. In this document we simply consider the coding and results of relational o Add to Reading List Source URL: www.computing.me.uk Language: English - Date: 2010-10-04 16:47:44 Logical connectives Boolean algebra Procedural programming languages Propositional calculus Semantics Relational operator Operator Fortran FALSE Computing Software engineering Computer programming
85	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Cornell University 7 April 1999 Abstract Type dispatch constructs are an important feature of many programming languages. Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:40 Procedural programming languages Tagged union Type theory ALGOL 68 Truncated dodecahedron Denotational semantics Programming language theory Computing Software engineering
86	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
87	A Verified Formal Model of a VC Generator R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:38:35 Applied mathematics Mathematics Program logic Model theory Hoare logic Syntactic predicate Formal verification Programming language Semantics of programming languages Theoretical computer science Formal methods Logic in computer science
88	Type Dispatch for Named Hierarchical Types ∗ Neal Glew Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-23 09:53:29 Tagged union Computing Type safety Programming language semantics Functional languages Type theory Programming language theory Software engineering
89	Seq no more: Better Strategies for Parallel Haskell Simon Marlow Patrick Maier Hans-Wolfgang Loidl Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2010-08-02 12:01:28 Parallel computing Functional languages Functional programming Procedural programming languages Models of computation Algorithmic skeleton Monad Denotational semantics Eval Computing Software engineering Computer programming
90	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic

UPDATE